Formal Verification of Temporal Questions in the Context of Query-Answering Text Summarization
نویسندگان
چکیده
This paper presents a novel method for answering complex temporal ordering questions in the context of an event and query-based text summarization. This task is accomplished by precisely mapping the problem of “query-based summarization of temporal ordering questions” in the field of Natural Language Processing to “verifying a finite state model against a temporal formula” in the realm of Model Checking. This mapping requires specific definitions, structures, and procedures. The output of this new approach is promisingly a readable and informative summary satisfying the user’s needs.
منابع مشابه
Query-focused Summarization Using Text-to-Text Generation: When Information Comes from Multilingual Sources
The past five years have seen the emergence of robust, scalable natural language processing systems that can summarize and answer questions about online material. One key to the success of such systems is that they re-use text that appeared in the documents rather than generating new sentences from scratch. Re-using text is absolutely essential for the development of robust systems; full semant...
متن کاملBoosting Passage Retrieval through Reuse in Question Answering
Question Answering (QA) is an emerging important field in Information Retrieval. In a QA system the archive of previous questions asked from the system makes a collection full of useful factual nuggets. This paper makes an initial attempt to investigate the reuse of facts contained in the archive of previous questions to help and gain performance in answering future related factoid questions. I...
متن کاملQuery-Biased Text Summarization as a Question-Answering Technique
these are discussed in Section 3). Segments with strong Text summarization may soon become a competitive method of answering queries asked of large text corpora. A query brings up a set of documents. These documents are then filtered by a summarizer: it constructs brief summaries from document fragments conceptually close to the query terms. We present the implementation of such a summarization...
متن کاملA survey on Automatic Text Summarization
Text summarization endeavors to produce a summary version of a text, while maintaining the original ideas. The textual content on the web, in particular, is growing at an exponential rate. The ability to decipher through such massive amount of data, in order to extract the useful information, is a major undertaking and requires an automatic mechanism to aid with the extant repository of informa...
متن کاملTemporal Closure in an Annotation Environment
News articles typically present a story that develops over time. Events and times are introduced and the reader understands what the sequence of events is. Simple questions like “What happened after the kidnapping?” can only be answered if information about events and the temporal relations between events is available and a document needs to be annotated automatically or manually to provide thi...
متن کامل